https://nova.newcastle.edu.au/vital/access/ /manager/Index en-au 5 Support for object oriented transactions in Timor https://nova.newcastle.edu.au/vital/access/ /manager/Repository/uon:1092 Sat 24 Mar 2018 11:12:20 AEDT ]]> Covariantly adjusting co-types in Timor https://nova.newcastle.edu.au/vital/access/ /manager/Repository/uon:11487 Sat 24 Mar 2018 08:10:26 AEDT ]]>